Workshop on Logic - PDFSEARCH.IO - Document Search Engine

Workshop on Logic
Results: 113

#	Item
61	732 Workshop Proceedings of the 9th International Conference on Intelligent Environments J.A. Botía and D. Charitos (Eds.) © 2013 The Author(s). This article is published online with Open Access by IOS Press and distr Add to Reading List Source URL: www.islab.ntua.gr Language: English - Date: 2014-02-17 07:26:52 Fuzzy logic Mathematical logic Semantic Web Knowledge representation Information science Ontology Semantics Fuzzy set Context awareness Logic Technical communication Science
62	Workshop on Graphical Modeling Language Development July 3, 2012 – Kgs. Lyngby, Denmark SeMFIS: A Tool for Managing Semantic Conceptual Models Hans-Georg Fill Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2012-07-05 08:44:23 Information science Ontology Ethology Technical communication Knowledge representation Semantics Description logic Conceptual model Modeling language Information Science Semantic Web
63	Introduction to hierarchy of objective and logical framework Elena Nyanenkova-Lowry ESCAP Sub-Regional Training Workshop on Changes in SNA Add to Reading List Source URL: www.unsiap.or.jp Language: English - Date: 2014-12-30 02:38:02 Mnemonics SMART criteria Management Conservation management system Logic model Project management Memory Acronyms
64	14th International Workshop on Termination (WSTCarsten Fuhs (Editor) WST 2014, 17–18 July 2014, Vienna, Austria Vienna Summer of Logic Preface Add to Reading List Source URL: www.easychair.org Language: English - Date: 2014-12-11 14:38:54 Metalogic Symbol Interpretation Structure Schedule Model theory Logic Mathematical logic
65	Agent-based modeling in philosophy 15–19 May On May[removed]the first Ghent-Tilburg workshop on agent-based modeling in philosophy took place in Spa, Belgium. The Ghent Center for Logic and Philosophy of Science and its Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-06-04 06:19:30 Computing Multi-agent systems Agent-based model Complex systems theory NetLogo Conceptual model Scientific modelling Scientific modeling Ethology Science
66	IJCAI-13 Workshop on Weighted Logics for Artiticial Intelligence (WL4AI[removed]Unifying Probability and Logic for Learning Marcus Hutter John W. Lloyd Add to Reading List Source URL: www.hutter1.net Language: English - Date: 2013-07-24 19:36:59 Model theory Logical consequence Probability interpretations Probability theory Probabilistic logic Probability Bayesian probability Interpretation Inductive inference Logic Science Philosophy of mathematics
67	The PIG Paradigm: The Design and Use of a Massively Parallel Fine Grained Self-Reconfigurable Infinitely Scalable Architecture From Proceedings of the First NASA/DoD Workshop on Evolvable Hardware Copyright© 1999 IEEE N Add to Reading List Source URL: www.cellmatrix.com Language: English - Date: 1999-11-23 00:24:11 Electronics Field-programmable gate array Reconfigurable computing Logic gates Evolvable hardware Flip-flop Multiplexer Parallel computing Electronic engineering Digital electronics Electronic design
68	1997 International Workshop on Field Programmable Logic and Applications VPR: A New Packing, Placement and Routing Tool for FPGA Research1 Vaughn Betz and Jonathan Rose Department of Electrical and Computer Engineering, Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 1999-12-10 09:14:26 Field-programmable gate array Place and route Placement Xilinx Application-specific integrated circuit Physical design Standard cell Logic synthesis Routing Electronic engineering Electronic design automation Electronics
69	Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers, Manuel Wimmer, Hans Vangheluwe, Joachim Denil The 13th Workshop on Domain-Specific Modeling @ SPLASH 2013 Motivation Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-11-06 12:27:21 Elevator Formal methods Software development Software engineering Philosophy of technology Temporal logic in finite-state verification Model checking Linear temporal logic Domain-specific modeling
70	Discussion on “Quantification of operational operational risk” (for the Basel Committee/Banca d'Italia workshop, 20-21 March 2003) Add to Reading List Source URL: www.bis.org Language: English - Date: 2005-12-12 06:15:27 Quantification Analytic philosophy Logic Xi Operational risk

UPDATE